$\forall$$A$:MsgA, $k$:Knd. Dec(ma{-}has{-}effect($A$;$k$))